Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
by Annabelle McIver,Charles Carroll Morgan
ISBN 13: 9781441923127
Format: Paperback (404 pages) Publisher: Springer Published: 19 Nov 2010
Save for later